261. The Python workbook :
پدیدآورنده : Ben Stephenson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Python (Langage de programmation)
رده :
QA76
.
73
.
P98
262. The Queen of Mathematics :
پدیدآورنده : by W.S. Anglin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Geometry.,Mathematics.,Number theory.
263. The Recursion Method and Its Applications :
پدیدآورنده : edited by D.G. Pettifor, D.L. Weaire.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Mathematical physics.,Physics.
264. The art of R programming :
پدیدآورنده : by Norman Matloff.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : R (Computer program language),Statistics-- Data processing.
رده :
QA276
.
4
.
M2925
2011
265. The foundations of intuitionistic mathematics, especially in relation to recursive functions
پدیدآورنده : Kleene, Stephen Cole
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Intuitionistic mathematics,، Recursive functions
رده :
QA
9
.
K648
266. The foundations of intuitionistic mathematics, especially in relation to recursive functions
پدیدآورنده : Kleene, Stephen Cole
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Mathematics,، Recursive functions
رده :
QA
248
.
5
.
K6
267. The foundations of intuitionistic mathematics, especially in relation to recursive functions
پدیدآورنده : Kleene, Stephen Cole
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Intuitionistic mathematics,، Recursive functions
رده :
QA
9
.
K648
268. The roles of representation in school mathematics /
پدیدآورنده : Albert A. Cuoco, 2001 yearbook editor ; Frances R. Curcio, general yearbook editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Mathematics-- Study and teaching.,Mental representation.,Mathematics-- Study and teaching-- Psychological aspects.,Mathematics-- Study and teaching.,Mathematics-- Study and teaching.,Mathématiques-- Étude et enseignement.,Mental representation.,Mental representation.
رده :
QA1
.
N3
2001
269. The singularity is near :
پدیدآورنده : Ray Kurzweil.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Brain-- Evolution.,Genetics.,Human evolution.,Nanotechnology.,Robotics.,Artificial Intelligence.,Biological Evolution.,Neural Networks (Computer)
رده :
QP376
.
K85
2006
270. The undecidable: basic papers on undecidable propositions, unsolvable problems, and computable functions
پدیدآورنده : edited by Martin Davis
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Gedel's theorem,، Unsolvability )Mathematical logic(,، Recursive functions,، Turing machines,، Computable functions
رده :
QA
9
.
65
.
U53
2004
271. The undecidable : basic papers on undecidable propositions, unsolvable problems, and computable functions
پدیدآورنده : edited by Martin Davis
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Godel's theorem,، Unsolvability )Mathematical logic(,، Recursive functions,، Turing machines,، Computable functions
رده :
QA
9
.
65
.
U53
272. Theoretical aspects of computing -- ICTAC 2013 :
پدیدآورنده : Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer programming, Congresses,Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
273. Theory of Computation
پدیدآورنده : / George Tourlakis
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computable functions,Functional programming languages,MATHEMATICS / Discrete Mathematics., bisacsh,توابع محاسبه پذیر,زبان های برنامه‌نویسی تابعی
رده :
QA9
,.
59
.
T46
,
T68
2012
274. Theory of computation
پدیدآورنده : Brainerd, Walter S
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع : ، Sequential machine theory,، Recursive functions,، Programming languages ) Electronic computers (
رده :
QA
267
.
5
.
S4
B68
275. Theory of computation
پدیدآورنده : Brainerd, Walter S
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Sequential machine theory,، Recursive functions,، Programming languages )Electronic computers(
رده :
QA
267
.
5
.
S4
B68
276. Theory of formal systems
پدیدآورنده : Smullyan, Raymond M.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Recursive functions,، Mathematics
رده :
QA
1
.
A626
no
.
47
277. Theory of formal systems /
پدیدآورنده : R.M. Smullyan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematics.,Recursive functions.,Logic, Symbolic and mathematical.,Mathematics.,Recursive functions.,SCIENCE-- System Theory.
رده :
QA248
.
5
278. Theory of recursive functions and effective computability
پدیدآورنده : Rogers, Hartley
موضوع : ، Recursive functions,، Computable functions
۳ نسخه از این کتاب در ۲ کتابخانه موجود است.
279. Theory of recursive functions and effective computability
پدیدآورنده : Rogers, Hartley
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Recursive functions,، Computable functions
رده :
QA
248
.
5
.
R6
280. Theory of recursive functions and effective computability
پدیدآورنده : Rogers, Hartley
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Recursive functions,، Computable functions
رده :
QA
9
.
615
.
R64
1987
